Ontology matching benchmarks: Generation, stability, and discriminabilityEUZENAT, Jérôme; ROSOIU, Maria-Elena; TROJAHN, Cássia et al.Journal of web semantics. 2013, Vol 21, pp 30-48, issn 1570-8268, 19 p.Article

Test case generation according to the binary search strategyBEYDEDA, Sami; GRUHN, Volker.Lecture notes in computer science. 2003, pp 1000-1007, issn 0302-9743, isbn 3-540-20409-1, 8 p.Conference Paper

Formalizing interoperability for test case generation purposeDESMOULIN, Alexandra; VIHO, Cédar.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 3, pp 261-267, issn 1433-2779, 7 p.Article

Model checking, testing and verification working togetherGUNTER, Elsa; PELED, Doron.Formal aspects of computing. 2005, Vol 17, Num 2, pp 201-221, issn 0934-5043, 21 p.Conference Paper

Automated generation of unit tests for refactoringWALTER, Bartosz; PIETRZAK, Blazej.Lecture notes in computer science. 2004, pp 211-214, issn 0302-9743, isbn 3-540-22137-9, 4 p.Conference Paper

Software-based diagnosis for processorsLI CHEN; DEY, Sujit.Design automation conference. 2002, pp 259-262, isbn 1-58113-461-4, 4 p.Conference Paper

Accélération de la génération destests de protocoles par agrégation de méthodes hétérogènes = Acceleration of test generation For protocols by merging heterogeneous methodsTouag, Athmane; Girault, Claude.2000, 165 p.Thesis

Polynomial time testability of circuits generated by input decompositionGUEESANG LEE; IRWIN, M. J; OWENS, R. M et al.IEEE transactions on computers. 1994, Vol 43, Num 2, pp 201-210, issn 0018-9340Article

Embedded software-based self-testing for SoC designKRSTIC, A; LAI, W.-C; CHEN, L et al.Design automation conference. 2002, pp 355-360, isbn 1-58113-461-4, 6 p.Conference Paper

RealGen: A Test Data Generation Tool to Support Software TestingPIRIYAKITPAIBOON, Kritsana; SUWANNASART, Taratip.International Conference on Information and Communication TechnologiesICT. 2004, pp 203-210, isbn 974-615-191-6, 1Vol, 8 p.Conference Paper

Application of two test generation tools to an industrial case studyCAVALLI, Ana; MAAG, Stephane; MALLOULI, Wissam et al.Lecture notes in computer science. 2006, pp 134-148, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 15 p.Conference Paper

Automatic test generation for N-way combinatorial testingCHANGHAI NIE; BAOWEN XU; LIANG SHI et al.Lecture notes in computer science. 2005, pp 203-211, issn 0302-9743, isbn 3-540-29033-8, 1Vol, 9 p.Conference Paper

Automated test case generation for spreadsheetsFISHER, Marc; MINGMING CAO; ROTHERMEL, Gregg et al.Proceedings - International Conference on Software Engineering. 2002, pp 141-151, issn 0270-5257, isbn 1-58113-472-X, 11 p.Conference Paper

An efficient algorithm for sequential circuit test generationKELSEY, T. P; SALUJA, K. K; LEE, S. Y et al.IEEE transactions on computers. 1993, Vol 42, Num 11, pp 1361-1371, issn 0018-9340Article

Validation of security protocol implementations from security objectivesYULONG FU; KONE, Ousmane.Computers & security. 2013, Vol 36, pp 27-39, issn 0167-4048, 13 p.Article

Testing against a non-controllable stream X-machine using state countingIPATE, Florentin.Theoretical computer science. 2006, Vol 353, Num 1-3, pp 291-316, issn 0304-3975, 26 p.Article

Test generation for radiotherapy acceleratorsTURNER, Kenneth J.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, pp 361-375, issn 1433-2779, 15 p.Article

STTE/EF-2000 typhoon new generation of automatic test bench (STTEs) for eurofighter's avionic unitsTORDESILLAS, Javier; MUNOZ, Fernando.IEEE instrumentation & measurement magazine. 2007, Vol 10, Num 4, pp 15-19, issn 1094-6969, 5 p.Conference Paper

A tabu search algorithm for structural software testing : Search-based software engineeringDIAZ, Eugenia; TUYA, Javier; BLANCO, Raquel et al.Computers & operations research. 2008, Vol 35, Num 10, pp 3052-3072, issn 0305-0548, 21 p.Article

Grammar-based Whitebox FuzzingGODEFROID, Patrice; KIEZUN, Adam; LEVIN, Michael Y et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 206-215, issn 1523-2867, 10 p.Conference Paper

DART : Directed automated random testingGODEFROID, Patrice; KLARLUND, Nils; SEN, Koushik et al.ACM SIGPLAN notices. 2005, Vol 40, Num 6, pp 213-223, issn 1523-2867, 11 p.Conference Paper

LEIRIOS test generator : Automated test generation from B modelsJAFUEL, Eddie; LEGEARD, Bruno.Lecture notes in computer science. 2006, pp 277-280, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper

Test generation algorithms based on preorder relationsTSCHAEN, Valéry.Lecture notes in computer science. 2005, pp 151-171, issn 0302-9743, isbn 3-540-26278-4, 21 p.Conference Paper

Test sequence generation and model checking using dynamic transition relationsCAMPOS, Sérgio; GRUMBERG, Orna; YORAV, Karen et al.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 2, pp 174-182, issn 1433-2779, 9 p.Article

Simulation and generation of IDDQ tests for bridging faults in combinational circuitsCHAKRAVARTY, S; THADIKARAN, P. J.IEEE transactions on computers. 1996, Vol 45, Num 10, pp 1131-1140, issn 0018-9340Article